Bernhard Steffen (eds.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020 Siena, Italy, July 19–23, 2020 Revised Selected Papers, Part II

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020 Siena, Italy, July 19–23, 2020 Revised Selected Papers, Part II

Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Giorgio Jansen, Vincenzo Sciacca, Panos Pardalos, Giovanni Giuffrida, Renato Umeton, Gerhard Goos, Juris Hartmanis, Elisa Bertino, Wen Gao, Bernhard Steffen, Gerhard Woeginger, Moti Yung, (eds.)

წელი:

2020

ენა:

english

ფაილი:

PDF, 71.08 MB

0 / 5.0

english, 2020

2

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 8.96 MB

0 / 0

english, 2012

3

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Springer International Publishing

Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2016

ენა:

english

ფაილი:

PDF, 64.11 MB

0 / 0

english, 2016

4

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Randal E. Bryant (auth.), Bernhard Steffen (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 3.04 MB

0 / 0

english, 1998

5

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 17.08 MB

0 / 0

english, 2014

6

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 3.60 MB

0 / 0

english, 1996

7

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 2.40 MB

0 / 0

english, 2006

8

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

1996

ენა:

english

ფაილი:

PDF, 6.37 MB

0 / 0

english, 1996

9

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 13.02 MB

0 / 0

english, 2010

10

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Alexander K. Petrenko (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 11.26 MB

0 / 0

english, 2012

11

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 2.13 MB

0 / 0

english, 2006

12

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 7.31 MB

0 / 0

english, 1998

13

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 13.00 MB

0 / 0

english, 2010

14

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 8.98 MB

0 / 0

english, 2010

15

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Services and Visualization Towards User-Friendly Design: ACoS'98, VISUAL'98, AIN'97 Selected Papers

Springer-Verlag Berlin Heidelberg

Alain Lardenois (auth.), Tiziana Margaria, Bernhard Steffen, Roland Rückert, Joachim Posegga (eds.)

წელი:

1998

ენა:

english

ფაილი:

DJVU, 6.59 MB

0 / 0

english, 1998

16

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 9.02 MB

0 / 0

english, 2010

17

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 35.10 MB

0 / 0

english, 2009

18

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 2.81 MB

0 / 0

english, 2002

19

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 9.02 MB

0 / 0

english, 2010

20

Bildverarbeitung fur die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. Marz 2009 in Heidelberg

Bildverarbeitung fur die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. Marz 2009 in Heidelberg

Springer-Verlag Berlin Heidelberg

Sylvia Glaßer, Steffen Oeltze, Anja Hennemuth, Skadi Wilhelmsen, Bernhard Preim (auth.), Hans-Peter Meinzer, Thomas Martin Deserno, Heinz Handels, Thomas Tolxdorff (eds.)

წელი:

2009

ენა:

german

ფაილი:

PDF, 17.33 MB

0 / 0

german, 2009

21

Bildverarbeitung für die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg

Bildverarbeitung für die Medizin 2009: Algorithmen — Systeme — Anwendungen Proceedings des Workshops vom 22. bis 25. März 2009 in Heidelberg

Springer-Verlag Berlin Heidelberg

Sylvia Glaßer, Steffen Oeltze, Anja Hennemuth, Skadi Wilhelmsen, Bernhard Preim (auth.), Hans-Peter Meinzer, Thomas Martin Deserno, Heinz Handels, Thomas Tolxdorff (eds.)

წელი:

2009

ენა:

german-english

ფაილი:

PDF, 9.31 MB

0 / 5.0

german-english, 2009

22

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi, (eds.)

წელი:

2021

ენა:

english

ფაილი:

PDF, 14.53 MB

0 / 0

english, 2021

23

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 10.70 MB

0 / 0

english, 2012

24

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Springer International Publishing

Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2016

ენა:

english

ფაილი:

PDF, 51.65 MB

0 / 0

english, 2016

25

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 20.35 MB

0 / 0

english, 2014

26

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Springer International Publishing

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

წელი:

2017

ენა:

english

ფაილი:

PDF, 23.72 MB

0 / 0

english, 2017

27

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Springer-Verlag Berlin Heidelberg

Joshua D. Guttman (auth.), Bernhard Steffen, Giorgio Levi (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 3.37 MB

0 / 0

english, 2004

28

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 5.79 MB

0 / 0

english, 1999

29

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Springer-Verlag Berlin Heidelberg

Joshua D. Guttman (auth.), Bernhard Steffen, Giorgio Levi (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 3.04 MB

0 / 0

english, 2004

30

Transactions on Foundations for Mastering Change I

Transactions on Foundations for Mastering Change I

Springer International Publishing

Bernhard Steffen (eds.)

წელი:

2016

ენა:

english

ფაილი:

PDF, 16.86 MB

0 / 0

english, 2016

31

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 1.50 MB

0 / 0

english, 2002

32

STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings

STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Steffen (auth.), Rüdiger Reischuk, Michel Morvan (eds.)

წელი:

1997

ენა:

english

ფაილი:

DJVU, 4.96 MB

0 / 0

english, 1997

33

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 12.26 MB

0 / 0

english, 2012

34

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 6.13 MB

0 / 0

english, 1999

35

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 5.53 MB

0 / 0

english, 1999

36

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

წელი:

1999

ენა:

english

ფაილი:

DJVU, 1.59 MB

0 / 0

english, 1999

37

Ausgezeichnete Informatikdissertationen 1999

Ausgezeichnete Informatikdissertationen 1999

Vieweg+Teubner Verlag

Georg Bareth (auth.), Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner (eds.)

წელი:

2000

ენა:

german

ფაილი:

PDF, 13.86 MB

0 / 0

german, 2000

38

Eternal Systems: First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers

Eternal Systems: First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen (auth.), Alessandro Moschitti, Riccardo Scandariato (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 4.10 MB

0 / 0

english, 2012

39

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 14.99 MB

0 / 0

english, 2012